/**
 * 
 */
package hu.gbalage.owlforms.internal;

import hu.gbalage.owl.ConfiguredOWLReasoner;

import org.semanticweb.owl.inference.OWLReasoner;
import org.semanticweb.owl.model.OWLOntologyManager;

/**
 * @author Grill Balazs (balage.g@gmail.com)
 *
 */
public class ReasonerFactory {

	public static OWLReasoner getReasoner(OWLOntologyManager manager){
		//return new Reasoner(manager);
		//ReasonerPlugin reasonerp = new ReasonerPlugin(new File("pellet/lib"));
		//return reasonerp.getReasoner("org.mindswap.pellet.owlapi.Reasoner", manager);
		
		OWLReasoner r = ConfiguredOWLReasoner.createReasoner(manager);
		return r;
		//if (r != null) return r;
		
		//return new Reasoner(manager);
	}
	
}
